home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
prolog
/
prlgbnc1.lha
/
Bench
/
README
< prev
next >
Wrap
Text File
|
1990-08-15
|
2KB
|
49 lines
This package contains the benchmarks that were used in the papers:
"Fast Prolog with an Extended General Purpose Architecture", by Bruce Holmer
et al (holmer@ernie.berkeley.edu), 17th International Symposium on Computer
Architecture, May 1990.
"The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler",
by Peter Van Roy (vanroy@ernie.berkeley.edu) and Alvin Despain, 1990 North
American Conference on Logic Programming, October 1990.
The package contains 26 programs, grouped into "small" and "large". All
program sizes are in lines of code excluding comments. The programs have been
run on Quintus Prolog, C-Prolog, and Aquarius Prolog, a new system under
development at Berkeley. The programs are to be run as is, with all built-in
predicates *including* write/1 and nl/0.
Small Program Size Description
nreverse.pl 10 Naive reverse of a 30-element list.
tak.pl 15 Recursive integer arithmetic.
qsort.pl 19 Quicksort of a 50-element list.
log10.pl 27 Symbolic differentiation.
ops8.pl 27 Symbolic differentiation.
times10.pl 27 Symbolic differentiation.
divide10.pl 27 Symbolic differentiation.
serialise.pl 29 Calculate serial numbers of a list.
queens_8.pl 31 Solve the eight queens puzzle.
mu.pl 33 Prove a theorem of Hofstadter's "mu-math".
zebra.pl 36 A logical puzzle based on constraints.
fast_mu.pl 54 An optimized version of the mu-math prover.
query.pl 68 Query a static database (using integer arithmetic).
poly_10.pl 86 Symbolically raise a polynomial to the tenth power.
Large Program Size Description
crypt.pl 64 Solve a simple cryptarithmetic puzzle.
meta_qsort.pl 74 A meta-interpreter running qsort.
prover.pl 81 A simple theorem prover.
browse.pl 92 Build and query a database.
unify.pl 125 A compiler code generator for unification.
flatten.pl 158 Source transformation to remove disjunctions.
sdda.pl 273 A dataflow analyzer that represents aliasing.
reducer.pl 301 A graph reducer based on combinators.
boyer.pl 377 An extract from a Boyer-Moore theorem prover.
simple_analyzer.pl 443 A dataflow analyzer analyzing qsort.
nand.pl 493 A logic synthesis program based on heuristic search.
chat_parser.pl 1138 Parse a set of English sentences.